IRIS

Sfoglia per Serie  CEUR WORKSHOP PROCEEDINGS

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 55 a 74 di 75
Titolo Data di pubblicazione Autore(i) File
A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF 1-gen-2020 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
Reducing the psychological burden of isolated oncological patients by means of decision trees 1-gen-2020 Russo, S.; Illari, S. I.; Avanzato, R.; Napoli, C. file da validare
A Robust and Automatic Approach for Matching Algorithms 1-gen-2023 Midolo, A.; Tramontana, E. file da validare
Scene understanding and interaction anticipation from first person vision 1-gen-2020 Rodin, I.; Furnari, A.; Mavroeidis, D.; Farinella, G. M. file da validare
A Set-Based Reasoner for the Description Logic DL4, xD 1-gen-2018 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare
The shape of a Benedictine monastery: The SaintGall ontology 1-gen-2017 Cantale, C; Cantone, D; Rinato, M. L.; Nicolosi-Asmundo, M; Santamaria, D. F. file da validare
Shape-preserving pattern matching 1-gen-2020 Cantone, D.; Faro, S.; Oguzhan Kulekci, M.
Simulating pandemic emergency scenarios considering mobility patterns through an agent-based model 1-gen-2022 Fazio, M.; Pluchino, A.; Inturri, G.; Le Pira, M.; Giuffrida, N.; Ignaccolo, M.
Social robots for older users: A possibility to support assessment and social interventions 1-gen-2019 Conti, D.; Nuovo, A. D.; Nuovo, S. D. file da validare
Steam generator performance by means of Over Fire Air and Reburning techniques 1-gen-2017 Monforte, P. file da validare
Suggesting just enough (un)crowded routes and destinations 1-gen-2020 Cavallaro, C.; Verga, G.; Tramontana, E.; Muscato, O. file da validare
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open World Assumption 1-gen-2021 Longo, Carmelo F.; Santoro, Corrado; Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare
Symposium for Young Scientists in Technology, Engineering and Mathematics (SYSTEM 2017) 1-gen-2017 Damaševičius, R; Napoli, Christian; Tramontana, EMILIANO ALESSIO; Wozniak, M. file da validare
A tool to easing the configuration and deploying process of Hyperledger Fabric 1-gen-2023 Cantone, D.; Santamaria, D. F.; Spinello, V.
Towards an ontology for investigating on archaeological Sicilian landscapes 1-gen-2019 Brancato, Rodolfo; Nicolosi-Asmundo, M.; Pagano, G.; Santamaria, D. F.; Ucchino, S. file da validare
Towards an ontology-based framework for a behavior-oriented integration of the IoT 1-gen-2019 Cantone, D.; Longo, C. F.; Nicolosi-Asmundo, M.; Santamaria, D. F.; Santoro, C. file da validare
Two crucial cubic-time components of polynomial-maximal decidable Boolean languages 1-gen-2021 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G. file da validare
User assistance for predicting the availability of bikes at bike stations 1-gen-2021 Cavallaro, C.; Tramontana, E. file da validare
A variant of Turing machines with no control states and its connection to bounded temporal memory 1-gen-2016 Cantone, Domenico; Cristofaro, S.
Very weak, essentially undecidabile set theories 1-gen-2021 Cantone, Domenico; Panettiere, Mattia; Omodeo, Eugenio G. file da validare
Mostrati risultati da 55 a 74 di 75
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile